
extern "C" __declspec(dllexport) u32 Timer_GetTime(ITimer *timer)
{
	return timer->getTime();
}